On Proofs Without Words

نویسندگان

  • Robin L. Miller
  • Barry Balof
چکیده

Most mathematicians will be familiar with the above picture. This diagram, credited to the Ancient Chinese mathematical text Zhou Bi Suan Jing, is a charmingly simple visual proof of the Pythagorean Theorem, one of mathematics’ most fundamental results. It would be hard to argue that this proof is not convincing. In fact, most standard proofs of the Pythagorean Theorem still use this picture, or variations of it. In this paper, we will examine pictures, such as this one, which claim to prove mathematical theorems and have come to be known as “Proofs Without Words”, or PWWs. This paper will have two main parts. In the first part, we will present collection of PWWs accompanied by explanations. Essentially we will be putting the words back into these “Proofs Without Words” by explicitly stating what our brains are seeing, and how we are supposed to reach the intended conclusions given only the visual clues contained in the figure. In addition, where appropriate, we will include “parallel proofs”, which are more traditional proofs of the same results portrayed by the PWWs. The aim of this is to see the differences between formal logical structure, and the logic that our brains will follow given visual information. The second part will examine what it actually means to “prove” a result, whether Proofs Without Words satisfy this definition, and if they do not, what value they have for mathematics. Any textbook will tell you that a proof is a series of statements that show how a new statement is true by using logic and statements that are already known to

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Impossibility Proofs and Quantum Bit Commitment

The nature and scope of various impossibility proofs as they relate to real-world situations are discussed. In particular, it is shown in words without technical symbols how secure quantum bit commitment protocols may be obtained with testing that exploits the multiple possibilities of cheating entanglement formation.

متن کامل

Introduction to My Book "Essays in Constructive Mathematics"

The point of view of the book derives from Leopold Kronecker (1823-1891), whose views were quite consonant with those of MAP. Kronecker resisted the overthrow of the Aristotelian (and Gaussian) prohibition of completed infinites on the ground that the overthrow was unnecessary. In other words, he committed himself to doing mathematics without completed infinites, basing his work on algorithmic ...

متن کامل

تأملی نو در نظریه عینیت ذات و صفات الهی

Critical investigation of Identity of essence and attributes of GodThe quality of the relationship between essence and attributes of God is one of the most important issues among islamic thinkers. One of the most important theories in this field is the theory of Identity of essence and attributes of God that divided in turn into two branches,I mean, external identification and conceptual ...

متن کامل

Remarks on Adult Languages of Propagating Systems with Restricted Parallelism

abstract Various rewriting mechanisms can be thought of as functions mapping words w to nite sets of words W. The adult language of (; !) is the set of words w which are xed points of , i.e. (w) = fwg, and reachable from a start word or axiom !, i.e. w 2 n (!) for some n 2 N 0. Interestingly, for systems without the table mechanism, the degree of parallelism does not aaect the generative capaci...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012